manifold implications

Translations
des implications multiples